(mathematics) a non-Euclidean geometry that regards space as like a sphere and a line as like a great circle